pvh: set up more PV stuff in set_info_guest
authorMukesh Rathor <mukesh.rathor@oracle.com>
Wed, 13 Nov 2013 08:37:51 +0000 (09:37 +0100)
committerJan Beulich <jbeulich@suse.com>
Wed, 13 Nov 2013 08:37:51 +0000 (09:37 +0100)
commit35b1e076497ce80f9ab2a46257dd015dad132014
tree5862f3b205d77e4d6a38a569f26084610f3f5af8
parentcd132e2c4d840d2c8b7ce0b9aa910c3ef0ab782a
pvh: set up more PV stuff in set_info_guest

Allow the guest to set up a few more things when bringing up a vcpu.

This includes cr3 and gs_base.

Also set up wallclock, and only initialize a vcpu once.

Signed-off-by: Mukesh Rathor <mukesh.rathor@oracle.com>
Signed-off-by: George Dunlap <george.dunlap@eu.citrix.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Keir Fraser <keir@xen.org>
Acked-by: Eddie Dong <eddie.dong@intel.com>
xen/arch/x86/domain.c
xen/arch/x86/hvm/vmx/vmx.c
xen/include/asm-x86/hvm/hvm.h
xen/include/public/arch-x86/xen.h